module GenericSubtype;

type Foo[T] union {
    type A[U] (U, U);
};